翻訳と辞書
Words near each other
・ State serf
・ State Service for Combatting Economic Crimes
・ State Services Commission
・ State Services Commissioner
・ State Shinto
・ State Shipping Service of Western Australia
・ State Shirt
・ State Social Protection Fund (Azerbaijan)
・ State socialism
・ State Socialism (Germany)
・ State Songs
・ State songs of Arizona
・ State space
・ State space (physics)
・ State Space Agency of Ukraine
State space enumeration
・ State space planning
・ State space search
・ State Special Communications Service of Ukraine
・ State Sponsors of Terrorism
・ State Sports Centre
・ State Square
・ State Statistics Committee (Azerbaijan)
・ State Statistics Service of Ukraine
・ State Street
・ State Street (Boston)
・ State Street (Chicago)
・ State Street (Madison)
・ State Street (Metra station)
・ State Street (Salt Lake County)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

State space enumeration : ウィキペディア英語版
State space enumeration
In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property.〔"A Compact Petri Net Representation for Concurrent Programs", Matthew B. Dwyer, Lori A. Clarke, Kari A. Niesy, Department of Computer Science, University of Massachusetts, Amherst Amherst, MA 01003〕 As programs increase in size and complexity, the state space grows exponentially. The state space used by these methods can be reduced by maintaining only the parts of the state space that are relevant to the analysis. However, the use of state and memory reduction techniques makes runtime a major limiting factor.〔"Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12", ACM International Conference Proceeding Series, Vol. 145, by Marko Mäkelä, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland〕
==See also==

* Formal methods
* Model checking

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「State space enumeration」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.